لطفا کمی صبر نمایید ...
ورود
Advanced Search
Thesis
مقالات فارسی
ISI
کنفرانسها
ژورنالها
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Login / Register
Papers
ISI
EVENTS
Journals
PPROCEEDINGS
Meetings
Thesis
Dark Mode
استعلام پایان نامه
جستجوی مقالات داخلی
Catehory
Conference Papers
Journal Papers
Books
Plans
Research documents
Rports
Result Type:
Full Text
Has Word File
Search regardless of the position of the words
Limit article publication year to:
All years
Specific years:
Search
Show
All Information
Only Paper Title
Item Per Page
10
20
Sort By
Paper title
Year
Indexing
ABS
DESC
فیلتر نتایج
Seyed Hassan Mirian Hosseinabadi
MohammadReza Masnavi
نتایج 11 تا 20 از مجموع 19
1
2
Conference Paper
معرفی روش صوری VDM و کاربرد آن در مهندسی نرم افزار
Authors:
نونا قاسمی
Year 1393
Publish place:
National Conference on Engineering Sciences, New Ideas (8)
Pages:
7
| Language: Persian
View And Download
Conference Paper
ارائه صوری یک معماری عامل گرا برای تأمین یکپارچگی در سیستم های ERP
Authors:
مریم محبتی
Year 1393
Publish place:
National Conference on Computer Engineering and Information Technology Management
Pages:
20
| Language: Persian
View And Download
Conference Paper
توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف
Authors:
سارا به پور
،
وحید رافع
Year 1392
Publish place:
1st National Innovation Conference on Computer Engineering and Information Technology
Pages:
7
| Language: Persian
View And Download
Conference Paper
بهسازی منطق GNY در برابر حملات انعکاسی
Authors:
الهام منجزی
Year 1392
Publish place:
Conference on Electrical Engineering and Sustainable Development with a focus on new achievements in electrical engineering
Pages:
6
| Language: Persian
View And Download
Conference Paper
ارزیابی کیفیت بصری منظر فضاهای سبز شهری با تاکید بر رویکرد زیبایی شناسی صوری: نمونه موردی بوستان کوهستانی فردوسی تهران
Authors:
پیمان گلچین
،
محمدرضا مثنوی
Year 1391
Publish place:
2nd Conference on Environmental Planning and Management
Pages:
13
| Language: Persian
View And Download
Conference Paper
مدلسازی و درستیابی سیستم اینتر لاکینگ راه اهن به روش صوری و با استفاده از متد B
Authors:
احمد میر آبادی
،
محسن پیکرستان
Year 1389
Publish place:
12th Railway Transportation Conference
Pages:
14
| Language: Persian
View And Download
Conference Paper
ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی
Authors:
علیرضا روحی
،
سیدحسن میریان حسین آبادی
Year 1383
Publish place:
10th Annual Conference of Computer Society of Iran
Pages:
8
| Language: Persian
View And Download
Conference Paper
روشهای صوری در تحلیل و طراحی عامل گرا
Authors:
محمدمهدی رستمی
،
ناصر قاسم آقایی
Year 1384
Publish place:
11th Annual Conference of Computer Society of Iran
Pages:
7
| Language: Persian
View And Download
Conference Paper
استفاده از روش صوری برای بهینه سازی سیستم شبکه خانگی
Authors:
سیدمجتبی سالاری
،
محمدجواد فتاحی
Year 1390
Publish place:
The first conference on new approaches in computer engineering and information technology
Pages:
5
| Language: Persian
View And Download
نتایج 11 تا 20 از مجموع 19
1
2